%% process model specific definitions
\newcommand{\pre}[1]{\bullet{#1}}
\newcommand{\post}[1]{{#1}\bullet}